Conjunctive Query Containment in the Presence of Disjunctive Integrity Constraints (extended Abstract)
نویسندگان
چکیده
This paper considers the problem of containment of conjunctive queries (CQ) with disjunctive integrity constraints. Query containment problem in the presence of integrity constraints has been studied broadly, especially with functional and inclusion dependencies. However, to handle incomplete information in the database, disjunctions are needed to be expressed as integrity constraints. In this paper we introduce disjunctive referential integrity constraints and give a sound and complete algorithm for checking the containment of conjunctive queries under disjunctive referential and implication constraints.
منابع مشابه
Conjunctive Query Containment in the Presence of Disjunctive Integrity Constraints
This paper considers the problem of containment of conjunctive queries CQ with disjunctive integrity constraints Query containment problem in the pres ence of integrity constraints has been studied broadly especially with functional and inclusion dependencies However to handle incomplete information in the database disjunctions are needed to be expressed as integrity constraints In this paper w...
متن کاملThe Constructive Method for Query Containment Checking ( extended version )
We present a new method that checks Query Containment for queries with negated derived atoms and/or integrity constraints. Existing methods for Query Containment checking that deal with these cases do not check actually containment but another related property called uniform containment, which is a sufficient but not necessary condition for containment. Our method can be seen as an extension of...
متن کاملConjunctive Query Containment and Answering under Description Logics Constraints
Query containment and query answering are two important computational tasks in databases. While query answering amounts to compute the result of a query over a database, query containment is the problem of checking whether for every database, the result of one query is a subset of the result of another query. In this paper, we deal with unions of conjunctive queries, and we address query contai...
متن کاملReformulation with Integrity Constraints ( extended abstract ) Rada
In this paper we study the problem of reducing the evaluation costs of queries on finite databases in presence of integrity constraints, by designing and materializing views. Given a database schema, a set of queries defined on the schema, a set of integrity constraints, and a storage limit, to find a solution to this problem means to find a set of views that satisfies the storage limit, provid...
متن کاملReformulation with Integrity Constraints ( extended abstract )
In this paper we study the problem of reducing the evaluation costs of queries on finite databases in presence of integrity constraints, by designing and materializing views. Given a database schema, a set of queries defined on the schema, a set of integrity constraints, and a storage limit, to find a solution to this problem means to find a set of views that satisfies the storage limit, provid...
متن کامل